Revision: tla-tools--devo--0--patch-4
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Wed Dec 31 00:03:20 JST 2003
Standard-date: 2003-12-30 15:03:20 GMT
Modified-files: tagline-funs.awk
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-4
Summary: Use "texinfo" tagline syntax for texinfo.tex

